Mécanismes de traces efficaces pour programmes multithreadés

Mécanismes de handover pour les réseaux IP sans fil

RÉSUMÉ . Le handover est le processus qui permet, à un terminal mobile, d’effectuer le passage entre deux points d’attachement à un réseau. Ce changement de point d’attachement implique une déconnexion momentanée du terminal mobile, et des perturbations des communications en cours. Ainsi, pour disposer d’une communication de qualité avec un terminal mobile, le handover doit introduire des mécan...

Towards more scalable mutual exclusion for multicore architectures. (Vers des mécanismes d'exclusion mutuelle plus efficaces pour les architectures multi-cœur)

Study and Development of a Symmetric protocol to secure communications in WSN

Résumé : Durant cette dernière décennie, les réseaux de capteurs sans fil (RCSF) ont attiré l’attention des chercheurs et des services de recherche et développement en raison de leur facilité de déploiement et de leur champs d’application dans divers domaines, y compris la sécurité et la surveillance, le contrôle, la maintenance des systèmes complexes, l’agriculture, e-santé, etc. Toutefois, en...

Une unification des algorithmes d'inférence de Pearl et de Jensen

RÉSUMÉ. Les réseaux bayésiens sont un des outils les plus populaires de la communauté Intelligence Artificielle pour gérer des incertitudes. Ils allient en effet un aspect graphique très expressif et des mécanismes d’inférence de nouvelles informations très efficaces. Deux catégories d’algorithmes existent à cet effet : les méthodes non orientées travaillant sur des structures secondaires telle...

Une transformation de programme basée sur la notion d'équations entre termes

Nous décrivons une nouvelle approche destinée à transformer des programmes Prolog en programmes plus efficaces tout en gardant l’équivalence opérationnelle. Notre approche repose sur l’introduction d’équations entre termes, ce qui permet une représentation plus efficace des buts. Notre optimisation ne peut pas être obtenue par les méthodes courantes : en particulier, elle élimine toutes les var...